skip to main content

Explore Research Products in the NSF-PAR

  • Home
  • Search Results
  • Page 1 of 7

Search for: All records

Creators/Authors contains: "Liu, Ji"

Note: When clicking on a Digital Object Identifier (DOI) number, you will be taken to an external site maintained by the publisher. Some full text articles may not yet be available without a charge during the embargo (administrative interval).
What is a DOI Number?

Some links on this page may take you to non-federal websites. Their policies may differ from this site.

  1. ; ( , IEEE Transactions on Automatic Control)
    Free, publicly-accessible full text available May 1, 2024
  2. ; ; ; ( , 2023 American Control Conference)
    Free, publicly-accessible full text available May 31, 2024
  3. ; ; ; ( , Systems & Control Letters)
    Free, publicly-accessible full text available June 1, 2024
  4. ; ; ( , 57th Annual Conference on Information Sciences and Systems)
    Full Text Available 
  5. ; ; ( , Journal of the American Statistical Association)
    Full Text Available 
  6. ; ( , 61st IEEE Conference on Decision and Control)
    Full Text Available 
  7. ; ; ; ; ; ( , IEEE Transactions on Control of Network Systems)
    Full Text Available 
  8. ; ; ; ( , 61st IEEE Conference on Decision and Control)
    Full Text Available 
  9. ; ; ; ; ; ; ; ( , IEEE Transactions on Parallel and Distributed Systems)
    Full Text Available 
  10. ; ; ; ( , 2022 IEEE 40th International Conference on Computer Design (ICCD))
    An assertion is a predicate that should be evaluated true during program execution. In this paper, we present the development of quantum assertion schemes and show how they are used for hardware error mitigation and software debugging. Compared to assertions in classical programs, quantum assertions are challenging due to the no-cloning theorem and potentially destructive measurement. We discuss how these challenges can be circumvented such that certain properties of quantum states can be verified non-destructively during program execution. Furthermore, we show that besides detecting program bugs, dynamic assertion circuits can mitigate noise effects via post-selection of the assertion results. Our case studies demonstrate the use of quantum assertions in various quantum algorithms. 
    more » « less
    Full Text Available